Composition of UML Class Diagrams Using Category Theory and External Constraints

In large software development projects, there is always a need for refactoring and optimization of the design. Usually designs are represented using UML diagrams (e.g., class diagrams). A engineering team may create multiple versions satisfying some external constraints. cases, subdiagrams developed can be selected combined into one diagram. It difficult to perform this task manually since manual process very time consuming, prone human errors, not manageable projects. paper, we present algorithmic support automating generation composing diagrams, where composed diagram satisfies given collection constraints optimal with respect objective function. The composition based on colimit operation from category theory. approach was verified experimentally by generating random (expressed in SPARQL OWL), these constraints, that satisfy computing metrics each